mk\_oset($T$;${\it eq}$;${\it leq}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$$T$, ${\it eq}$, ${\it leq}$$>$